Knihy od autora Henk Barendregt

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Lambda Calculus. Its Syntax and Semantics

   Henk Barendregt | College Publications, 2012

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   682 Kč

   Koupit
2. 

   Lambda Calculus with Types

   Henk Barendregt | Cambridge University Press, 2013

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2406 Kč

   Koupit
3. 

   Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

   Henk Barendregt | Independently Published, 2020

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   444 Kč

   Koupit
4. 

   Types for Proofs and Programs

   Henk Barendregt, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Knihy zasíláme ve speciálních obalech z pevné lepenky. Zjistěte více